Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
- Författare
- (Edited by Daniel Kroening, Corina S. Păsăreanu.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2015 | Tyskland, Cham | XVIII, 469 sidor. 107 illus. online resource. | 978-3-319-21668-3 |
| Springer International Publishing, Imprint: Springer | 2015 | Tyskland, Cham | XXIII, 677 sidor. 141 illus. online resource. | 978-3-319-21690-4 |